TSTP Solution File: SEV242^5 by SRASS---0.1